$\forall$${\it es}$:ES, ${\it e'}$:E, $P$:(E$\rightarrow$Prop). $\forall$$e$$\geq$${\it e'}$.$P$($e$) $\in$ Prop